$\forall$${\it es}$:ES, $L$:(Id List), $e$:E. fischer($L$) $\Rightarrow$ (Try($e$) $\in$ $\mathbb{P}$)